$\forall$$x$, $y$:Atom. ($x$ =a $y$ = tt $\in$ $\mathbb{B}$) $\Rightarrow$ ($x$ = $y$)